#include<stdio.h>
int hh(int n)
{
    if(n==1)
    return 1;
    return n*hh(n-1);
}   
int main()
{
    int ch;
    ch = getchar()-'0';
    printf("%d",hh(ch));
}
